From 2b0411c245ec6a49f2725d041d83cf7f9aa3bb9a Mon Sep 17 00:00:00 2001
From: =?utf8?q?St=C3=A9phane=20Glondu?= <glondu@debian.org>
Date: Sun, 1 Mar 2026 21:32:31 +0100
Subject: [PATCH] Compile utils/config.{cmi,cmx} with -opaque

The goal is to stabilize compiler-libs ABI.

Gbp-Pq: Name Compile-utils-config.-cmi-cmx-with-opaque.patch
---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 4ce5da65..c9d43003 100644
--- a/Makefile
+++ b/Makefile
@@ -2546,6 +2546,12 @@ endif
 %.cmx: %.ml
 	$(V_OCAMLOPT)$(COMPILE_NATIVE_MODULE) -c $<
 
+utils/config.cmi: utils/config.mli
+	$(V_OCAMLC)$(CAMLC) $(OC_COMMON_COMPFLAGS) -I $(@D) $(INCLUDES) -opaque -c $<
+
+utils/config.cmx: utils/config.ml
+	$(V_OCAMLOPT)$(COMPILE_NATIVE_MODULE) -opaque -c $<
+
 partialclean::
 	for d in utils parsing typing bytecomp asmcomp middle_end file_formats \
            lambda middle_end/closure middle_end/flambda \
-- 
2.39.5